Ω-automaton
VARIATION OF FINITE AUTOMATA THAT RUNS ON INFINITE, RATHER THAN FINITE, STRINGS AS INPUT
Rabin automaton; Parity automaton; Streett automaton; Omega automata; Omega automaton; Stream automaton; Ω-automata; Streett automata
In automata theory, a branch of theoretical computer science, an ω-automaton (or stream automaton) is a variation of finite automata that runs on infinite, rather than finite, strings as input. Since ω-automata do not stop, they have a variety of acceptance conditions rather than simply a set of accepting states.